Interpreted Petri Nets used for human-machine dialogue specification
نویسندگان
چکیده
this paper proposes an approach for the specification of human-machine dialogue for interactive process control applications. This approach is based on a formal modelling of the Human-Machine System behaviour. This modelling makes it possible to deduce the user requirements and then to identify the User Interface (UI) objects. The formal aspect allows the validation of the specifications before going on to the generation of the interface. A formalism using Interpreted Petri Nets is proposed for modelling the Human-Machine dialogue.
منابع مشابه
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues
Modern window-based user interfaces are actually a special kind of reactive system, and Petri nets may be fruitfully used to design such user-computer dialogues. This paper describes two techniques allowing to produce an executable system from a Petri net based specification of dialogue, namely interpretation and compilation. We first describe the compiled solution, where the Petri net structur...
متن کاملModelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervision of a transport system
This article presents an original method using high level Petri nets for the specification and design of interactive systems. We suggest an agent oriented architecture based on the classic components of an interactive application (application, dialogue control, interface with the application). Our approach is validated via the specification and design of a human-machine interface used in the su...
متن کاملPetri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Prog...
متن کاملControl Interpreted Petri Nets – Model Checking and Synthesis
The chapter presents a novel approach to formal verification of logic controller programs [2], focusing especially on reconfigurable logic controllers (RLCs). Control Interpreted Petri Nets [8] are used as formal specification of logic controller behavior. The approach proposes to use an abstract rule-based logical model presented at RTL-level. A Control Interpreted Petri Net is written as a lo...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Integrated Computer-Aided Engineering
دوره 9 شماره
صفحات -
تاریخ انتشار 2002